Anaphylaxie: viele Eltern zu lax

Für meine Eltern und meinen Freund Lothar

Propositional Lax Logic Propositional Lax Logic

We investigate a peculiar intuitionistic modal logic, called Propositional Lax Logic (PLL), which has promising applications to the formal veri cation of computer hardware. The logic has emerged from an attempt to express correctness `up to' behavioural constraints | a central notion in hardware veri cation | as a logical modality. As a modal logic it is special since it features a single modal...

Quantiied Lax Logic Quantiied Lax Logic

Lax Logic is an intuitionistic modal logic which has so far been investigated at the propositional level. It has shown itself to have applications in the formal veriication of hardware|a logical modality is used to capture and express the correctness of speciicationsùp to' behavioural constraints. A translation from Quantiied Lax Logic to a quantiied classical modal logic is presented which ena...

Informatik-Werkstatt: Entwicklungen und Erfahrungen einer Lern- und Lehrwerkstatt für Informatik

Neue Technologien und im Speziellen die Informatik haben in der heutigen Gesellschaft einen starken Einfluss auf das tägliche Leben. Damit wird die Informatik auch für Schulen und den Unterricht immer wichtiger. Um Kindern jeden Alters verschiedene Themen der Informatik näher zu bringen wurde im Sparkling Science Projekt „Informatik – Ein Kinderspiel!“ die „InformatikWerkstatt“ ins Leben gerufe...

Cersten Jakob: Von Prüfungsangst zu Prüfungsmut, von Lampenfieber zu Auftrittslust

1. The author of this book wants to reveal ways leading to more confidence and calmness in exams and while performing in front of small or larger audiences. A short introduction is followed by a definition of the term stage fright and a distinction between useful and obstructive types (stage fright). The complexity of the phenomena stage fright and exam anxiety is vividly visualised on the basi...